Enhancing source-level programming tools with an awareness of transparent program transformations
نویسندگان
چکیده
منابع مشابه
Supporting Software Development Tools with An Awareness of Transparent Program Transformations
Programs written in managed languages are compiled to a platform-independent intermediate representation, such as Java bytecode. The relative high level of Java bytecode has engendered a widespread practice of changing the bytecode directly, without modifying the maintained version of the source code. This practice, called bytecode engineering or enhancement, has become indispensable in transpa...
متن کاملEnhancing Workspace Awareness on Collaborative Transparent Displays
Transparent displays can be used to support collaboration, where collaborators work on either side while simultaneously seeing what the other person is doing. This naturally supports workspace awareness: the up-to-themoment understanding of another person’s interaction with a shared workspace. The problem is that the transparency of such displays can change dynamically during a collaborative se...
متن کاملEnhancing NetBeans with Transparent Fault Tolerance Using Meta-Level Architecture
In component-based systems, fault-tolerance concerns are typically handled by manually programmed fault containers. The purpose of fault containers is to prevent error propagation across component boundaries by means of redundant service providers. However, manually programmed fault containers are often subject to evolutionary pressure when components change. In this paper we present a meta-lev...
متن کاملImproving Program Acceptability Through Source Code Transformations
What does it mean for software to be acceptable? The question has an inherently human element. Unlike functional specifications, security requirements, or performance bounds, which may be documented and measured against that documentation, acceptability is simply a determination of whether the software meets the user’s needs [76]. The latter frequently subsumes the former: if software does not ...
متن کاملSource-Level Transformations for Improved Formal Verification
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal verification tool may be easy, expert users are often able to accomplish a verification task while a novice user encounters time-out or space-out attempting the same task. In this paper, we assert that often a novice user...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2009
ISSN: 0362-1340,1558-1160
DOI: 10.1145/1639949.1640112